__kernel void vector_add(__global int *a, __global int *b,
                         __global int *result) {
    int gid = get_global_id(0);
    result[gid] = a[gid] + b[gid];
}